Tree Form : An Intermediate Representation for Retargetable Optimizing Compilers
نویسندگان
چکیده
Tree form is a low-level, architecture-independent intermediate representation (IR) used by the Flex java-to-hardware compiler. Using a tree-based IR allows for the automatic construction of high-quality code generators for a substantial set of computer architectures, from only the precise specification of these architectures. This paper provides a thorough description of Tree form: its construction, programmatic manipulation, optimization, and utility. Thesis Supervisor: Martin Rinard Title: Assistant Professor, MIT Laboratory for Computer Science
منابع مشابه
Specifying the Semantics of Machine Instructions
Computer architecture manuals describe the instruction set of the machine and the semantics of those instructions by a combination of natural language and ISP (Instruction Set Processor) descriptions. The syntax of the instructions in assembly is well deened in the form of tables in the manual. However, the semantics is not so well speciied and descriptions vary widely from one manual to anothe...
متن کاملCost-minimization in register assignment for retargetable compilers
A method of register assignment in optimizing retargetable compilers is described. The design of the PACK register assignment system is presented, and it is shown how PACK functions in compilers built with the Production Quality Compiler Compiler technology.
متن کاملEfficiently Building the Gated Single Assignment Form in Codes with Pointers in Modern Optimizing Compilers
Understanding program behavior is at the foundation of program optimization. Techniques for automatic recognition of program constructs characterize the behavior of code fragments, providing compilers with valuable information to guide code optimizations. The XARK compiler framework provides a complete, robust and extensible solution to the automatic recognition problem that was shown to be eff...
متن کاملThe Advantages of Machine-Dependent Global Optimization
Using an intermediate language is a well-known, effective technique for constructing interpreters and compilers. The use of an intermediate language forces a structure on the organization of the compiler. The front end translates the source code to semantically equivalent intermediate language. The back end processes the intermediate language and produces target machine code. The choice of an i...
متن کاملA Retargetable C Compiler: Design and Implementation
My Personal Review: This book is definitely _not_ for beginners, but compilers are not supposed to be written by novices -if there is rocket science in computers, it is compiler development. Crystal clear style and language make this book easy reading, and LCC is the best non-optimizing compiler Ive seen (and believe me, Ive seen many compiler sources): orthogonal, easy to follow design, well-t...
متن کامل